Matchmakereft: automated tree-level and one-loop matching

We introduce matchmakereft, a fully automated tool to compute the tree-level and one-loop matching of arbitrary models onto effective theories. Matchmakereft performs an off-shell matching, using diagrammatic methods background field method (BFM) when gauge theories are involved. The large redundancy inherent together with explicit invariance offers significant number non-trivial checks results provided. These given in physical basis but several intermediate results, including Green before after canonical normalization, for flexibility possibility further cross-checks. As example we provide complete Warsaw up one loop extension Standard Model charge $-1$ vector-like lepton singlet. has been built generality, efficiency mind. ingredients allow matchmakereft have many applications beyond between Some these include renormalization (including calculation group equations theories); translation different bases fixed theory or check (off-shell) linear independence operators theory. All performed way by matchmakereft.